Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
111	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
112	Fundamenta Informaticaei–i i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-09-09 06:56:43 Type theory Thorsten Altenkirch DTP Dependent type
113	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
114	APA NLM tapraid5/trp-trp/trp-trp/trp00116/trp0177d15z xppws S⫽:04 Art: Psychology of Consciousness: Theory, Research, and Practice 2015, Vol. 2, No. 4, 000 Add to Reading List Source URL: andrewgelman.com Language: English - Date: 2016-04-08 11:47:24 Philosophy Metaphysics Academia Theory of mind Cognitive science Cognition Ontology Causality Functionalism Mind Type physicalism Consciousness
115	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
116	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
117	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
118	13 TYPE OF SUBMISSION: Paper TITLE: “Santayana’s Amphibious Concepts” Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Philosophy Metaphysics Cognitive science Ontology Philosophy of mind Theory of mind Cognition Dualism Epiphenomenalism The Realms of Being Epiphenomenon Mindbody problem
119	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
120	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy

UPDATE